A Pseudo Representation Theoremfor Various Categories of Relationsm

The Role of Architectural Representation on the Formation of the Mental Image of Tourist Destination (Case Study: Traditional Dwellings in the Data Theory Method)

The aim of this study was to explain the role of place representation in shaping the mental image of tourists from traditional residences. Representing the architecture of traditional residences in cyberspace as one of the most important sources of effective information in shaping the image of tourist destinations is of great importance. Today, traditional resorts as one of the most important t...

A Proof of the Chur h - Rosser Theoremfor the Lambda Cal ulusin Higher Order Logi

A Pseudo Representation Theorem for Various Categories of Relations

It is well-known that, given a Dedekind categoryR the category of (typed) matrices with coefficients from R is a Dedekind category with arbitrary relational sums. In this paper we show that under slightly stronger assumptions the converse is also true. Every atomic Dedekind category R with relational sums and subobjects is equivalent to a category of matrices over a suitable basis. This basis i...

rDNAse: R package for generating various numerical representation schemes of DNA sequences

The rDNAse R package can generate various feature vectors for DNA sequences, this R package could: 1) Calculate three nucleic acid composition features describing the local sequence information by means of kmers (subsequences of DNA sequences); 2) Calculate six autocorrelation features describing the level of correlation between two oligonucleotides along a DNA sequence in terms of their specif...

A Universal Investigation of $n$-representations of $n$-quivers

noindent We have two goals in this paper. First, we investigate and construct cofree coalgebras over $n$-representations of quivers, limits and colimits of $n$-representations of quivers, and limits and colimits of coalgebras in the monoidal categories of $n$-representations of quivers. Second, for any given quivers $mathit{Q}_1$,$mathit{Q}_2$,..., $mathit{Q}_n$, we construct a new quiver $math...